
export const TIPS = {
  autoScrollToMiddle: 'autoScrollToMiddle',
  autoHideCmd: 'autoHideCmd',
  maxOperandsNum: 'maxOperandsNum',
  allowBatch: 'allowBatch',
  bm_shift: 'bm_shift',
  his_shift: 'his_shift',
  site_shift: 'site_shift',
  tabc_shift: 'tabc_shift',
  wd_shift: 'wd_shift',
  storeTypedQuery: 'storeTypedQuery',
};
